Programming constructs for database system implementation in EXODUS
نویسندگان
چکیده
منابع مشابه
Object and File Management in the EXODUS Extensible Database System
provided by no commercial database system at this time). Storing This paper describes the design of the object-oriented storage component of EXODUS, an extensible database manaaement~svstern currently under development at the University of-Wiscon&t. The basic abstraction in the EXODU’S storage system is the storage object, an uninterpmted variable-length m&z& of arbitrary size; higher level abs...
متن کاملScoping Constructs in Logic Programming: Implementation Problems and Their Solution Scoping Constructs in Logic Programming: Implementation Problems and Their Solution
The inclusion of universal quanti cation and a form of implication in goals in logic programming is considered. These additions provide a logical basis for scoping but they also raise new implementation problems. When universal and existential quanti ers are permitted to appear in mixed order in goals, the devices of logic variables and uni cation that are employed in solving existential goals ...
متن کاملExperiences in Database System Implementation Using a Persistent Programming Language
The EXODUS database toolkit, and in particular the E persistent programming language, have been used in two substantial database system implementation efforts by the authors, the Ariel database rule system and the Triton nested relation DBMS. An important advantage of using a persistent programming language for database system implementation is that it is easy to implement special-purpose persi...
متن کاملScoping Constructs in Logic Programming: Implementation Problems and their Solutions
The inclusion of universal quantification and a form of implication in goals in logic programming is considered. These additions provide a logical basis for scoping but they also raise new implementation problems. When universal and existential quantifiers are permitted to appear in mixed order in goals, the devices of logic variables and unification that are employed in solving existential goa...
متن کاملScoping Constructs in Logic Programming : Implementation Problems and their
This paper examines the implementation issues arising from introducing universally quantiied goals and some forms of implication goals in a logic programming language. While these constructs are useful in providing a logical approach to lexical scoping, they raise new implementation problems. Since universal and existential quantiiers may appear in mixed order in goals, the uniication operation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGMOD Record
سال: 1987
ISSN: 0163-5808
DOI: 10.1145/38714.38738